loop-invariant computation
un. 循环不变量计算
热门查询
- torch n. 火把，火炬；手电筒；启发之物 vt. 用火炬点燃 vi. 像火炬一样燃烧
- paid adj. 付清的；已付的 vt. 支付（pay的过去式和过去分词）；付清
- kalman [计] 卡尔曼
- cleared v. 清除（clear的过去分词）；使干净 adj. 头脑清醒的；清澈的
- yacht n. 游艇，快艇；轻舟 vi. 乘游艇，驾游艇 n. (Yacht)人名；(英)约特
- acidic adj. 酸的，酸性的；产生酸的
- SA abbr. 救世军（Salvation Army）；性感（Sex Apple）；需经批准，有待批准（Subject to Approval）；半自动的（Semi-Automatic）；减震（Shock Attenuation）；表面面积（Surface Area） n. (Sa)人名；(缅、柬)萨；(东南亚国家华语)三；(中)萨(普通话·威妥玛)
- fleece n. 羊毛，绒头织物；羊毛制的覆盖物 vt. 剪下羊毛；欺诈，剥削 n. (Fleece)人名；(英)弗利斯
- unload vt. 卸；摆脱…之负担；倾销 vi. 卸货；退子弹
- tried v. 尝试，审问，审理，审讯， 审判（try的过去分词） adj. 可靠的；试验过的
- thinner adj. 较薄的；较瘦的；较细的（thin的比较级） n. （油漆的）稀释剂；冲淡剂；使变稀薄者，加稀料的制漆工
- prioress n. 小女修道院院长；大女修道院副院长
- decapitate vt. 斩首；解雇；使无效
- passim adv. 各处；到处；遍及
- replacement n. 更换；复位；代替者；补充兵员
- myth n. 神话；虚构的人，虚构的事
- annoy n. 烦恼（等于annoyance） vt. 骚扰；惹恼；打搅 vi. 惹恼；令人讨厌；打搅
- pasha n. 巴夏（旧指土耳其古代对大官的尊称） n. (Pasha)人名；(阿拉伯、伊朗、巴基、印尼、乌克)帕夏 (参见 Pasa)；(塞)帕沙
- witchcraft n. 巫术；魔法
- downwardly 向下
